Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint ... Computer Science and General Issues)
by
ISBN 13: 9783642287558
Format: Paperback (560 pages) Publisher: Springer Published: 14 Mar 2012
Save for later
Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings: 8571 (Lecture Notes in Computer Science)
by Holger Giese,Barbara König
ISBN 13: 9783319091075
Format: Paperback (300 pages) Publisher: Springer Published: 04 Aug 2014